#include <stdio.h>
#include <time.h>
#include <stdlib.h>

extern void print_time();
int get_time_second();

